Optimal. Leaf size=50 \[ -\frac {\text {csch}(c+d x)}{a d}-\frac {b \log (\sinh (c+d x))}{a^2 d}+\frac {b \log (a+b \sinh (c+d x))}{a^2 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 50, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.120, Rules used = {2912, 12, 46}
\begin {gather*} -\frac {b \log (\sinh (c+d x))}{a^2 d}+\frac {b \log (a+b \sinh (c+d x))}{a^2 d}-\frac {\text {csch}(c+d x)}{a d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 46
Rule 2912
Rubi steps
\begin {align*} \int \frac {\coth (c+d x) \text {csch}(c+d x)}{a+b \sinh (c+d x)} \, dx &=\frac {\text {Subst}\left (\int \frac {b^2}{x^2 (a+x)} \, dx,x,b \sinh (c+d x)\right )}{b d}\\ &=\frac {b \text {Subst}\left (\int \frac {1}{x^2 (a+x)} \, dx,x,b \sinh (c+d x)\right )}{d}\\ &=\frac {b \text {Subst}\left (\int \left (\frac {1}{a x^2}-\frac {1}{a^2 x}+\frac {1}{a^2 (a+x)}\right ) \, dx,x,b \sinh (c+d x)\right )}{d}\\ &=-\frac {\text {csch}(c+d x)}{a d}-\frac {b \log (\sinh (c+d x))}{a^2 d}+\frac {b \log (a+b \sinh (c+d x))}{a^2 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 50, normalized size = 1.00 \begin {gather*} -\frac {\text {csch}(c+d x)}{a d}-\frac {b \log (\sinh (c+d x))}{a^2 d}+\frac {b \log (a+b \sinh (c+d x))}{a^2 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.76, size = 34, normalized size = 0.68
method | result | size |
derivativedivides | \(-\frac {\frac {\mathrm {csch}\left (d x +c \right )}{a}-\frac {b \ln \left (a \,\mathrm {csch}\left (d x +c \right )+b \right )}{a^{2}}}{d}\) | \(34\) |
default | \(-\frac {\frac {\mathrm {csch}\left (d x +c \right )}{a}-\frac {b \ln \left (a \,\mathrm {csch}\left (d x +c \right )+b \right )}{a^{2}}}{d}\) | \(34\) |
risch | \(-\frac {2 \,{\mathrm e}^{d x +c}}{d a \left ({\mathrm e}^{2 d x +2 c}-1\right )}-\frac {b \ln \left ({\mathrm e}^{2 d x +2 c}-1\right )}{a^{2} d}+\frac {b \ln \left ({\mathrm e}^{2 d x +2 c}+\frac {2 a \,{\mathrm e}^{d x +c}}{b}-1\right )}{a^{2} d}\) | \(82\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 110 vs.
\(2 (50) = 100\).
time = 0.27, size = 110, normalized size = 2.20 \begin {gather*} \frac {2 \, e^{\left (-d x - c\right )}}{{\left (a e^{\left (-2 \, d x - 2 \, c\right )} - a\right )} d} + \frac {b \log \left (-2 \, a e^{\left (-d x - c\right )} + b e^{\left (-2 \, d x - 2 \, c\right )} - b\right )}{a^{2} d} - \frac {b \log \left (e^{\left (-d x - c\right )} + 1\right )}{a^{2} d} - \frac {b \log \left (e^{\left (-d x - c\right )} - 1\right )}{a^{2} d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 211 vs.
\(2 (50) = 100\).
time = 0.42, size = 211, normalized size = 4.22 \begin {gather*} -\frac {2 \, a \cosh \left (d x + c\right ) - {\left (b \cosh \left (d x + c\right )^{2} + 2 \, b \cosh \left (d x + c\right ) \sinh \left (d x + c\right ) + b \sinh \left (d x + c\right )^{2} - b\right )} \log \left (\frac {2 \, {\left (b \sinh \left (d x + c\right ) + a\right )}}{\cosh \left (d x + c\right ) - \sinh \left (d x + c\right )}\right ) + {\left (b \cosh \left (d x + c\right )^{2} + 2 \, b \cosh \left (d x + c\right ) \sinh \left (d x + c\right ) + b \sinh \left (d x + c\right )^{2} - b\right )} \log \left (\frac {2 \, \sinh \left (d x + c\right )}{\cosh \left (d x + c\right ) - \sinh \left (d x + c\right )}\right ) + 2 \, a \sinh \left (d x + c\right )}{a^{2} d \cosh \left (d x + c\right )^{2} + 2 \, a^{2} d \cosh \left (d x + c\right ) \sinh \left (d x + c\right ) + a^{2} d \sinh \left (d x + c\right )^{2} - a^{2} d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\coth {\left (c + d x \right )} \operatorname {csch}{\left (c + d x \right )}}{a + b \sinh {\left (c + d x \right )}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 110 vs.
\(2 (50) = 100\).
time = 0.43, size = 110, normalized size = 2.20 \begin {gather*} \frac {\frac {b \log \left ({\left | b {\left (e^{\left (d x + c\right )} - e^{\left (-d x - c\right )}\right )} + 2 \, a \right |}\right )}{a^{2}} - \frac {b \log \left ({\left | e^{\left (d x + c\right )} - e^{\left (-d x - c\right )} \right |}\right )}{a^{2}} + \frac {b {\left (e^{\left (d x + c\right )} - e^{\left (-d x - c\right )}\right )} - 2 \, a}{a^{2} {\left (e^{\left (d x + c\right )} - e^{\left (-d x - c\right )}\right )}}}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.87, size = 409, normalized size = 8.18 \begin {gather*} \frac {\left (2\,\mathrm {atan}\left (\left (4\,a^3\,b\,d\,{\left (b^2\right )}^{5/2}\,\sqrt {-a^4\,d^2}+4\,a^5\,b\,d\,{\left (b^2\right )}^{3/2}\,\sqrt {-a^4\,d^2}\right )\,\left (\frac {1}{8\,a^3\,b^4\,d^2\,{\left (a^2+b^2\right )}^2}-{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\left (\frac {1}{16\,a^2\,b^5\,d^2\,{\left (a^2+b^2\right )}^2}-\frac {{\left (a^2+2\,b^2\right )}^2}{16\,a^6\,b^5\,d^2\,{\left (a^2+b^2\right )}^2}\right )+\frac {a^2+2\,b^2}{8\,a^5\,b^4\,d^2\,{\left (a^2+b^2\right )}^2}\right )\right )+2\,\mathrm {atan}\left (-\frac {4\,a^3\,b^5\,\sqrt {-a^4\,d^2}+4\,a\,b^7\,\sqrt {-a^4\,d^2}-4\,b^8\,{\mathrm {e}}^{3\,c}\,{\mathrm {e}}^{3\,d\,x}\,\sqrt {-a^4\,d^2}+4\,b^8\,{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\sqrt {-a^4\,d^2}-8\,a\,b^7\,{\mathrm {e}}^{2\,c}\,{\mathrm {e}}^{2\,d\,x}\,\sqrt {-a^4\,d^2}+4\,a^2\,b^6\,{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\sqrt {-a^4\,d^2}-8\,a^3\,b^5\,{\mathrm {e}}^{2\,c}\,{\mathrm {e}}^{2\,d\,x}\,\sqrt {-a^4\,d^2}-4\,a^2\,b^6\,{\mathrm {e}}^{3\,c}\,{\mathrm {e}}^{3\,d\,x}\,\sqrt {-a^4\,d^2}}{b^4\,\left (4\,a^3\,d\,{\left (b^2\right )}^{3/2}+4\,a^5\,d\,\sqrt {b^2}\right )}\right )\right )\,\sqrt {b^2}}{\sqrt {-a^4\,d^2}}-\frac {1}{a\,d\,\mathrm {sinh}\left (c+d\,x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________